منابع مشابه
Securing graphical user interfaces
ion such as a widget set including buttons, menus, and other basic GUI elements. Performing the transformation of each client’s representation to pixels locally enables the GUI server to predict all graphical primitives that are needed for any screen update and, as a consequence, to estimate overall execution times of redrawing jobs in advance of execution. The sequence of graphical primitives ...
متن کاملGeneric Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In this paper we introduce a new, easy to use method to program GUI applications in a pure functional language such as Clean or Generic Haskell. The method we use is a refined version of the model-view paradigm. The basic ...
متن کاملGraphical User Interfaces for Haskell
User interfaces are normally based on low-level trickery either within the run-time system, or in a separate program which has been connected to the stream I/O system of the language. We present a new twist to this by giving some intelligence to the outside system, which will have greater control of the interface. This has a number of benefits: it makescreating new programs easier, increases th...
متن کاملModel Checking Graphical User Interfaces
Symbolic model checking techniques have been widely and successfully applied to statically analyze dynamic properties of hardware systems. Efforts to apply this same technology to the analysis of software systems has met with a number of obstacles, such as the existence of non-nite state-spaces. This paper investigates abstractions that make it possible to cost-eeectively model check speciicati...
متن کاملGraphical User Interfaces in Haskell
Introduction Programming languages may be broadly divided into two classes; imperative and functional. The languages typically used in business environments, such as Java and C++, are imperative; a program consists of a series of statements that perform IO, or operate on the data in the computer’s store. Functional languages, on the other hand, such as Haskell and ML, are declarative; the progr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Statistical Software
سال: 2012
ISSN: 1548-7660
DOI: 10.18637/jss.v049.i01